Typed Multiset Rewriting Specifications of Security Protocols

机译：安全协议的类型化多集重写规范

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Iliano Cervesato;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Multiset rewriting and the complexity of bounded security protocols [J] . Nancy Durgin, Patrick Lincoln, John Mitchell, Journal of computer security . 2004,第2期

机译：多集重写和有限安全协议的复杂性
2. Relating multiset rewriting and process algebras for security protocol analysis [J] . Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Journal of computer security . 2005,第1期

机译：联系多集重写和过程代数以进行安全协议分析
3. A comparison between strand spaces and multiset rewriting for security protocol analysis [J] . Iliano Cervesato, Nancy A. Durgin, Patrick D. Lincoln, Journal of computer security . 2005,第2期

机译：链空间和多集重写之间的安全协议分析比较
4. A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols [C] . Musab A. Alturki, Tajana Ban Kirigin, Max Kanovich, Catherine meadows festschrift symposium . 2019

机译：用于指定和验证安全协议的时序方面的多集重写模型
5. Security models in rewriting logic for cryptographic protocols and browsers. [D] . Sasse, Ralf. 2012

机译：密码协议和浏览器的重写逻辑中的安全模型。
6. A Subsidized Healthy Food Prescription Program for Adults With Type 2 Diabetes Who Are Experiencing Food Insecurity: Protocol for a Randomized Controlled Trial [O] . Sharlette Dunn, Dana Olstad, Reed F Beall, 2021

机译：具有2型糖尿病的成人补贴健康食品处方方案他们正在经历粮食不安全：随机对照试验的议定书
7. Typed Multiset Rewriting Specifications of Security Protocols [O] . Cervesato Iliano 2001

机译：安全协议的类型化多集重写规范
8. Typed Multiset Rewriting Specifications of Security Protocols [R] . Cervesato, I. 2011

机译：安全协议的类型化多重写重写规范

Typed Multiset Rewriting Specifications of Security Protocols

著录项

引文网络

相似文献

相关主题

期刊订阅